Inhalt des Dokuments

Lehre

MTV2 und MTV3 in der 1. Vorlesungswoche

Freitag, 12. Oktober 2007

Anmeldungen zu "Verteilte Algorithmen" (MTV2) und "Temporallogik für Softwareingenieure" (MTV3) sind jetzt über die entsprechenden ISIS-Seiten möglich. In der ersten Vorlesungswoche gibt es für genau diese beiden Veranstaltungen 

• am Di, 10-12, eine gemeinsame Einführung im FR 0003; 
• am Do, 10-12, eine gemeinsame Repetition formaler Konzepte im FR 4061. 

Die Di- und Do-Termine um 14-16 entfallen in der ersten Woche.

---